Constraint satisfaction problem - PDFSEARCH.IO - Document Search Engine

Constraint satisfaction problem
Results: 216

#	Item
161	A Simple Model to Generate Hard Satisfiable Instances Ke Xu1 1 Fr´ed´eric Boussemart2 Add to Reading List Source URL: www.nlsde.buaa.edu.cn Language: English - Date: 2005-04-26 01:56:54 Applied mathematics NP-complete problems Electronic design automation Formal methods Logic in computer science Boolean satisfiability problem Constraint satisfaction problem Constraint satisfaction Local search Theoretical computer science Constraint programming Mathematics
162	A New Look at Survey Propagation and Its Generalizations ELITZA MANEVA, ELCHANAN MOSSEL, AND MARTIN J. WAINWRIGHT University of California—Berkeley, Berkeley, California Abstract. This article provides a new conceptual Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2007-07-31 14:18:53 Constraint programming Graphical models Probability theory Logic in computer science Boolean satisfiability problem Belief propagation Markov random field Constraint satisfaction problem Unit propagation Theoretical computer science Applied mathematics Mathematics
163	Scheduling Earth Observing Fleets Using Evolutionary Algorithms: Problem Description and Approach Al Globus, James Crawford, Jason Lohn and Robert Morris Abstract We describe work in progress concerning multiinstrument, Add to Reading List Source URL: alglobus.net Language: English - Date: 2003-04-23 18:14:27 Scheduling algorithms Mathematical optimization Applied mathematics Science Genetic algorithm Scheduling Evolutionary algorithm Constraint satisfaction Evolutionary computation Planning Cybernetics Operations research
164	A constraint-based method for solving sequential manipulation planning problems Tom´as Lozano-P´erez and Leslie Pack Kaelbling Abstract— In this paper, we describe a strategy for integrated task and motion planning b Add to Reading List Source URL: lis.csail.mit.edu Language: English - Date: 2014-07-18 21:54:29 Artificial intelligence Constraint satisfaction problem Motion planning Constraint satisfaction Local consistency Kinematics Backjumping Backtracking Constraint programming Software engineering Computer programming
165	Proceedings of WCB13 Workshop on Constraint Based Methods for Bioinformatics Alessandro Dal Pal`u and Agostino Dovier September 16, 2013, Uppsala (Sweden) Add to Reading List Source URL: cp2013.a4cp.org Language: English - Date: 2014-06-16 22:25:15 Constraint programming Econometrics Systems biology Data analysis Gene regulatory network Constraint satisfaction problem Regression analysis Confidence interval Bootstrapping Statistics Science Statistical inference
166	A Hybrid Diagnosis Approach Combining Black-Box and White-Box Reasoning Mingmin Chen1 , Shizhuo Yu1 , Nico Franz2 , Shawn Bowers3 , and Bertram Lud¨ascher1 1 Dept. of Computer Science, University of California, Davis, Add to Reading List Source URL: taxonbytes.org Language: English - Date: 2014-07-01 16:19:30 Computing Computer programming Programming paradigms Constraint satisfaction problem Answer set programming Algorithm Association rule learning Datalog Constraint programming Software engineering Logic programming
167	Global optimization and constraint satisfaction Arnold Neumaier University of Vienna Vienna, Austria Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2006-12-06 02:13:41 Global optimization Constraint satisfaction problem Constraint satisfaction Optimization problem Applied mathematics Theoretical computer science Mathematics Mathematical optimization Constraint programming Operations research
168	Masterclass Modelling with Constraints Part 1: Introduction Alan M Frisch Artificial Intelligence Group Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2012-01-06 10:09:14 Software engineering Constraint satisfaction Mathematical optimization Boolean satisfiability problem Solver Answer set programming Constraint Constraint logic programming AC-3 algorithm Constraint programming Declarative programming Theoretical computer science
169	A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints ∗ Pinar Senkul Michael Kifer Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 02:03:15 Computing Workflow Constraint logic programming Constraint satisfaction problem Constraint satisfaction Resource Constraint programming Software engineering Computer programming

UPDATE